type T = string | & number & boolean
